Polynomial Size Circuit