assertions for testing code