Error: Extraneous Logic-Subsystem Protocol Condition