delser är mycket Btor.