The same function should have the same realization.