fix and -> given