Abstract variables