no setter for this! It depends on what is implemented, not on what the user sets