ic. not linking proof, i have it if it's needed