User:Sprhodes/Parsimonious Covering Theory