> worked out to be easily integrated into P5 1.0 -- which means that I > need guidance from the Council as to whether or not it should be > prioritized above (say) floating texts, ms abbreviations/expansions, or > the generic place element. no contest. put theorem on the backburner Sebastian