adding axiom on exact binomial distribution as i forgot to set binomial distribution as input closes #6