Def/Fixed point