Fórmula de exponenciação. Art for horses.

Tipos predicado. Youing thug.