added KASSERTs from +52points section