Does it matter ? They bought this shell to IPO. They’ve stated that, is that not a RM? I understand there hasn’t been an “official” announcement