conditional other-extensions