logic true/false is currently naively implemented, need to flesh this out. may also have some dependency on #6
logic true/false is currently naively implemented, need to flesh this out.
may also have some dependency on #6