abstractor for bip