That was raised as an issue a while ago: https://github.com/missing-semester/missing-semester/issues/9 https://github.com/missing-semester/missing-semester/issu

That was raised as an issue a while ago: https://github.com/missing-semester/missing-semester/issues/9 https://github.com/missing-semester/missing-semester/issues/... The answer is basically "sure, but we explain what we mean in the lecture."