IRAS should impose additional buyers stamp duty.