Belonging: From Identity Logic to Relational Logic Belonging: From Identity Logic to Relational Logic