Simple proof ability.