/WITH refinment added