結果 : static reasoning example