An art gallery