suppose provided 仮定法