FootNote
In fact it is very difficult to efficiently implement deductive inference by a purely evolutionary mechanism.