And might be out of proof