checking statements, psf properties