realization rule