Properties on Witheren Circuit