verified models anal

1