Fplan-poly < Validated >