Filtering for trait Random equal Abstraction: creating the right model for thinking about a problem and devising the appropriate mechanizable techniques to solve it