Properties of Circuits