use § instead of &&