testing cases in Frank