Additional logic for separate types