SMS: Principles of instrumental logic