this.toughness = new MageInt(4);
// Protection from red
this.addAbility(new ProtectionAbility(filter));
// When Lavinia of the Tenth enters the battlefield, detain each nonland permanent your opponents control with converted mana cost 4 or less.
this.addAbility(new EntersBattlefieldTriggeredAbility(new DetainAllEffect(filterDetain)));
}