Logic702 in action