I’ve learned it for a predicate logic (satisfying logic requirements) course in 2019 during a Bsc