finitize precisionise formalise formulise finnicize mathematicalize officialise finalise finetune mathematicise