Finite Witness

A small playground for compactness. Slide a finite theory, watch the witness move, then try to freeze one element and see what changes when you allow Ω.