superficial cleanup
defining ∅