Detonation

Detonation refers to the function $$a\ \{\{\{\{1\}\}\}\}\ b$$, using BEAF.