Use pgadmin3 state from postgres-formula