Edited by Didacus Rodriguez.