steered
hoses
pi
tunefulness
factored
provability