So basically, getting past the people who have no idea what they're talking about, the Australian Government wants some private company to sell them something similar to Gov.UK as a hosted service. Is that about right?