the soundless interstitium (by surprisetalk) — discussion

#formalmethods #web