är en logisk slutledning att sluta a majore ad minus.