Frost Logic