Abduction of Fehl Prime

From FABT