mrb_mintjulep_proof1