(forward substiotuion is a compile time transformation)