edu.uct.ibr.implication