Sense provings by