know from "Satl & Artificial Intelligence - Stronger"