sketch of tabling in a nutshell