Declare without proof