Tutorial Group Logic