alts => defns :(