More sanity constraints