removed label kripke and added memw and memr instead.