Non-Sofic Groups Exist on the Tech Tree