logical consistency