Added frozen implementation (not finished)