Deductive Logic, Totally Looks Like Style