Abstracted Permutation logic and Numebr Checking logic