Functional Analysis And Semicolon