LogicExample commit