(n.) One who constructs theorems.