Implement is_invertible().