In theory it does not work and we know why.
In practice it works but we don’t know why.
We developers put theory in to practice, It does not work and we don’t know why.