Fix opacity of decidability
Start working on display of algorithm
Some progress tracking down a bug