Work on partial definientia.
Intermediate variable for explicitness.
Separate case for partial definientia.