require to -> are required to (or just "must")