Header for puzzletree class