Template:Riexp implication