Initial objects and example.