Formalised the HostsTable concept