Thats correct. Redundancy happens when an employer doesn't need an employees job to be done by anyone. A genuine redundancy is when a persons job doesn't need to be done by anyone. A dismissal of a pilot whose job is not redundant is not a genuine redundancy if the employer still needs the job to be done by someone.
Interesting times indeed.