#3 Proving the first part of database access leaving aside any
operation on the database.