Splitting definition from instances