Work on ASF example: t+