abstract formation