Deduced Framework