restrictions wired-up into solves