Modals as distributive indefinites