Issue #8: implemented ¯5○.
Issue #8: implement ¯6○.
Issue #8: implement ¯7○.