Wait, there's a proven subset of C? Can you point me to some info?