WASHINGTON MANAGEMENT COMPANY INC.