Starting on loop logic before starting on variable logic for contradictions