Beyond Dents and Scratches: Logical Constraints in Unsupervised Anomaly Detection and Localization | Synapse