What does the comparison `[] == ![]` evaluate to, tracing the abstract operations involved?