Back

Earliest converts to the line p q, which is expelled.