Title: On the deductive world