Added import for SimpleTerm