Imaginary Numbers #1: Definition