Mathematical ideas and proofs are not IP.