Removing an irrefutable pattern which was possible to fail.