The Spanish text is the original; translations are for convenience.