The making of guacamole for burritos.