Added ∨ method. Removed unused functions