2.0124 If all objects are given, then thereby are all possible atomic facts also given.