Starting with SPIN rules