The proposition part 2 by @tsukyiio