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. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]