Making slides. Decidability result:
Edit: Ffffuuuuu…! This doesn’t work. Have to change precedence to response (I think that works at least…)
Edit 2: This works. Wrong version below.
Edit 2: Wrong stuff below; it is actually possible to make this bounded.
Time person of the year 2006, Nobel Peace Prize winner 2012.