Devices descending from K202415

3 later devices reach VirtueRF through their predicates, nearest generation first.