Add LogicT.v