Initial contents on logic