yeah those two are equivalent