0to13prop doesn't have any sets.