Functional And Logic Model