Do 20/32 and 12/20 form a proportion?