reduce to a formula

See: formulate