Making spreadsheets safer
object amplifier attributes input : real output: real where output[t] = 5*input[t].