Text this: Independence and concurrent separation logic