⊥ R ∀ S H

⊥ R ∀ S H

⊥ R ∀ S H