Started on some informal documentation of the judgments