Since everything is identical to itself this rule allows you to say so whenever you want without taking on any assumptions.
Preview shown for the Typed Forward Strict derivation type in the LRC system
