some tests seem to pass in simple cases