Here it is correct, because you don't use any phase functions from eclasses.