Feasibility and uniqueness checks.