Implement Domain PAC examples