extension properly defined