fix citation
size inf
size inf: constraints: change 'satisfiable' to 'valid'
size inf: constraints: remove ref to holes