Some sanity-checking