BLOCK-FINITE EFFECT ALGEBRAS AND THE EXISTENCE OF STATES