this also becomes `isSynthesizable()`