ultime soa storage model
Crossing using Ultimate