Formal operations in reactive and process schizophrenics.