add new theory: anonymous method