For closeable and cutworthy properties, closures always commute with cuts | IEEE Conference Publication | IEEE Xplore