← Acceptable Solutions and Verification Methods