public void GenerateRandomConstant_IntegerForConstantGiven_ExpectedTrueOrFalseReturned(int coinFlip, Type type)
{
// Arrange // Act
Proposition generatedProposition = PropositionGenerator.GenerateRandomConstant(coinFlip);
// Assert
generatedProposition.GetType().Should().Be(type, "Because based on that integer either True or False is returned.");
}