If logical exercise

semi-complete