Mention ∅ finally working