minor
write down rule for coverage and unions
split subsection