Finite support

Summary