Paper accepted at ACM TCPS!