nermal is real (proof)