backwards chaining makes for confusing declaration...
# development
f
backwards chaining makes for confusing declarations sometimes