Some progress towards a properly concurrent solution