AUT3 in action