Four Program Logic Models