Added comments to boat negative syllogism