formula : output type running with validations