card { p where p is quadratic Polynomial of (Z/ 2) : verum } = 4