prod.has_le source