In this talk we will discuss the classification problem for static manifolds with positive scalar curvature, highlighting how area-minimising surfaces, and techniques used to study (Riemannian) Einstein four manifolds, can be used to prove a topological classification of horizons, and a gap result for the areas of horizons and their surfaces gravities.