Example: FOL bound to 1CD2