drop u from binary functions, not true anymore