Assert without proof