AUT vs. INF

TODO