deriveable extensions