Implement primitive inverse substitution