add more specs to address_establishment_controller_spec