Template:E/codes/Proposition infinity

6ACV04