We can't refute something right after asserting it before, unfortunately Signed-off-by: Thomas Citharel <tcit@tcit.fr>