Updated definitional notebook
Updated definitional notebook