@tao@mathstodon.xyz It's fine if the informal status is "open" but if you just say "status", then it should definitely be "proved" instead of "open".