#proof #i_snuck #into #ted2