About asserts: green