Failed attempts to prove substitution (releasing locks)