Initial. In working state but should also check for equivalent underlying graphs.