Contents are simplified.