GEORGE: A programming language </>