Assertions to check odd conditions