Implement verification fuctions                              permut checker not yet implemented