Fully implemented logical model