extended definitions