p = binomial(4, 1)/2^4