http://liam0205.me/2014/12/03/how-to-define-a-proof-like-environment/