lundens Tableaux in Fol.