Ah! this is how it was defined before. Cool.