¬∀ x: Reluz(x) ⇒ Ouro(x) 🙁