What is material logic and what are the example of this?