Transitiv does not exist