note on declarativity