to hop {ping}, [ hopped ; hopped ]