derived and readonly fields