On the O'Nan-Scott theorem for finite primitive permutation groups | Synapse