DO $$
  BEGIN
      ASSERT (
          SELECT
              COUNT(1)
          FROM
              friends JOIN posters ON friends.id = posters.id
          WHERE
              posters.username = 'devoutsalsa'
      ) = 1,
      'He''s in there, I swear it!';
  END;
  $$;