good Deductions good is subclass of immorality ⇐ (evil is subclass of immorality), (evil is opposite of good) notion is for example good ⇐ (good is a notion), (is a is inverse of is for example)