Wrong Answer!
This is actually a valid step in a logical proof. Click "OK" to return to the problem.