Modified subsumes? so that it can test all leaves and is still also testable itself