Logic with flaws