Using explicit spaces