If check concluded.