to really start solving this, one needs declaratio...
# getting-started
v
to really start solving this, one needs declarations and a Minimal Working Example