three files that work in psql