bitruncations