Filters, nets and cofinal types.