The answer: double the garlic, double the cilantro, halve the onion, double the lemon juice. Then, finally, triple the salt.
