purely theoretical speculations about how code coverage may be calculated - View it on GitHub