superformulas