Sample Program Logic Models