from rule method to roster method {x : x + 2=5 and x is a natural number}​