Does *every* function here have to be ```@system```?