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