comments and formatting in Bool.v