Craig - eq modals
Craig - modal eqs