Distances between States and between Predicates (Logical Methods in Computer Science, 2020)