Structures -- Instructing Equational Set-Reasoning with Otter -- NP-Completeness of