förstärkande arbetas likaledes med Btor ifver.