Gsis debenture: refundable

I see on the website that the standard debenture $500000 is refundable. But there is also a development debenture of $432250, which is non-refundable. May I ask if it is compulsory to buy the development debenture too?