Relax the constraint of having a binary map function