I thought there would be constructions in Paper 1 HL. Are they possibly going to come up in Paper 2?
Yes more than likely since they always do.
constructions, theorems, proof of theorems and axioms are meant to come up dring Paper 2 (not saying they all will though! :))
Thank you :)