remove exfalso quodlibet