Example: GCZ bound to 4ZFC
Background
Cartoon
Label
Spin
Screenshot