Interactive version of Byrne's Euclid