(#x:trigger-formal)