Converted everything to InputForm