Update abstract module and example