For the proposition Every thinking being as such is a simple substance is a synthetic proposition a priori, first because it goes beyond the concept that grounds it by adding the way of existing to thinking in general and second because it adds to that concept a predicate (simplicity) that cannot be given in any experience whatever.