WORST_CASE(?,O(n^1))

Solution:
---------

  eq :: [B(0) x B(0)] -(1)-> B(0)
  true :: [] -(0)-> B(0)


Cost Free Signatures:
---------------------