Provable X