added bodies to defns