use asserts 4.0