\echo 'The flat relation is already in 1NF: every intersection contains one scalar value.' \echo 'Its candidate key is (order_number, line_number, student_ref).' ...