backwards chaining makes for confusing declarations sometimes