More helper functions for equidecomposability