known or constrained