Big and small step inductively defined