formally+explores+line