Sanity checks for leap