A Logical Approach Ten Years Later