👤

Element of (4, 0, 0, -1/2)