abstract exploration