Both 15-01-04 and 20-09-02 are checked.