ikame prensibi

  1. principle of substitution