began work on assertions