Simple Logic Models For Program