Completed S-expressions