Contradiction by APP