Strong Logics of First and Second Order