A formalization of one of the main claims of "Creative Commons licenses and the non-commercial condition: Implications for the re-use of biodiversity information" by Hagedorn et al. 20111.