implemented completely in memory
added inclusion results and final condition