• LogicReason followed 1.