: usr / bin / 

Filename : prove
back