Implement bsp_invert(), which passes a test