Decision procedures finally verified