added False assertion