more for declaring functions for adversary