Dijstra's Complete