Addenda: Joannis Carpathii — John of Carpathus