_ ≡ _@1