Exploring system logic inspired by Thinking in Systems