All Devlin 2 Models follow ?