New blog post: Justifications of Mappings kerfors.blogspot.se/2013/09/justif… Kudos to @gray_alasdair @Open_PHACTS