Indexed for both direct and reverse lookup.
bimpimpi: mu bimpi(mpi), in short, in brief, cf. -mpi.
bimpi, bimpimpi: mu bimpi(mpi), in short, in brief, cf. -mpi.