[] <=> ()