derived constant