inner-outer consistency