USE: lists.lazy 1 lfrom [ . ] leach