unfinished records and dijkstras