Text this: Computing Witnesses Using the SCAN Algorithm