Something we need is languages with conditioned types, that allow us to set a variable to match a condition without assigning a specific value, like this: let

Something we need is languages with conditioned types, that allow us to set a variable to match a condition without assigning a specific value, like this: let x = a number that is < 7 That way we won't need to test with lots of random numbers.