Bachelor logic view 1