DanielFilan comments on Alignment proposals and complexity classes

DanielFilan 16 Jul 2020 19:39 UTC
LW: 6 AF: 3
AF
A notation question I can already ask though: what is $M (q)_{| H (M, q)}$ ?
See my comment that attempted to figure this out.