Trace and learn
In the category 0