skolems
root