look at apply and we see that the system actually did apply, did insert 333 Berkeley into the apply relation, that's the translation, but it wasn't smart enough to put CS and yes in here, so again, we have a kind of disappearing insertion. 