fixing contexts & implementation of Abs.