displat state
conditional on the final ]