Aren't both of those things just "logic"?