Signs Over Windows This project has moved on past the proof stage; the results are now published here.