Existence020 mplementation, with Interaction020 part included