Francis Bacon and the deductio-ad-praxin