abstrahering och bt