adding "asserts"