Logic and proof workshop Part2