non-human Deductions notion is for example non-human ⇐ (non-human is a notion), (is a is inverse of is for example)