Good to know. Otherwise crushing garlic in onion is a very time-efficient when you're doing food :). But perhaps if you heat it it's not much of a problem.