Business Deductive Logic, Design Inductive Logic
@