refined spaces logic