three-level logic