Added real analysis reader.