Yeah, it's declarative but fuzzy and non-deterministic as well.