Where's our ProvSoS?