Can't generate lazy property: a + 1