Formal Argument Must Be A Symbol