meta logic --KW