Marcos wrote all this by telling me what to type.