Abstract models