Independent Formula Probability