compute-leq