generated at
2/15/2025, 3:17:25 PM
X is Y and X is not whole Y
