On a Modal λ-Calculus for S 4 ?