More Random Abstract Class and a Utility for Conditionals