#deductive logic