III.1 Automation of the wrong satisfier

Title

ID:2810