#7: emphasized the CAN vs CANNOT vs MUST by writing them upper case in the disclaimer
#7: first working implementation of entailments
no unit tests yet