design notes on leveraging advanced model abstraction for validation