Take the seeds out of the tomatoes and green peppers, and dice them so they are all the same size. Cut the onions into quarters, then into very thin slices. Salt it all.