User blog comment:Vel!/Ordinal BEAF 2.0/@comment-5529393-20130412130836

A minor problem:  You are taking the union of \(\gamma\) over Q(A), but Q(A) does not necessarily include the copilot or the passengers.