Introduce universals_say_everything()
Make it possible to check if the specified universals is everything required to find out whether the specified requirement vector is fulfilled or not.
Make it possible to check if the specified universals is everything required to find out whether the specified requirement vector is fulfilled or not.