provided 仮定法