これって厳密な基底状態を構成する手続きってあるのかしら。