State without proof