Can you show "the" implementation of "can do logic"?
Is it possible to demonstrate that it can do logic?