TODO: you determine the detailed spec, which must be stronger than what is provided
Error if and only if controlPoints is empty
TODO: you determine the detailed spec, which must be stronger than what is provided