Assertions without special syntax