TRANSFORMING SPACES INTO STATEMENTS