This rule is called by

-> literal