Apparatus
1 erit S  est C
2 aggregati C  aggregata S