added assertions
!!