 A full account of medieval mereology would consider carefully the details of all six sub-Topics. But of special interest to us are the treatments of the Topic from the integral whole and of the Topic from the integral part. In these discussions, medieval philosophers often consider whether the traditional maximal propositions associated with these Topics in fact describe the logical and metaphysical relations that hold between an integral whole and an integral part. Specifically, the maximal proposition that applies to integral wholes is: 