Forgot to get rid of ascriptions - remove them