Test for recursive and theoretical works.