Added & and | handleing to proof