Consistent logic