Text this: Greenberg's conjecture and Iwasawa module of real biquadratic fields I.