Value: entailed

Edit | Back