Parannettu tarkastuslogiikkaa