Welcome to my puzzle method development website. My name is Michael James Straughan and I commonly go by the username Athefre. I joined the puzzle community in 2005 and have focused on method development and cubing history. Most of my developments and ideas will be described here. Some of my developments are intended for speedsolving and some are interesting from a theory perspective. Some have even been used to set world records, such as EOLR and LEG-1. I have developed unique methods, steps, and techniques of my own and have also contributed to many methods such as Roux, ZZ, CFOP, 42, CEOR, and more.
Table of Contents
Some of my favorite accomplishments are below, in no particular order. I've thrown away thousands of ideas and only kept and developed the ones that stood out. Quality over quantity. Some things were developed with intent for use in high level speedsolving (APB, Nautilus, EOLR). Some others are new concepts or are just for fun because they are unique and interesting. If any idea didn't feel competitive for speedsolving, wasn't unique or interesting enough, or didn't solve an existing problem in method development, I either threw the idea away or put it aside in case it can eventually be developed into something great.
EOLR for Roux: In 2012 I proposed both EOLR and EOLRb, and developed all of EOLR and half of EOLRb. This is a technique that has become commonly used among Roux users, even to break world records.
DFDB recognition for Roux: DFDB is a recognition method that solved the Roux step 4c edge 3-cycle recognition problem and is also commonly used. This has possibly been used to break world records.
LEG-1: I developed LEG-1 in 2012 and it has since become something that is occasionally used by 2x2 solvers. It has even been used in world record averages.
Group reference addition to the standard notation: Using Singmaster notation we typically reference a corner or edge by its intersecting layers (UFR for example). In 2010 I had the idea to use notation to reference groups of pieces or stickers. For example: dFR is the intersection of the wide d layer (bottom two layers), the F, and the R layer. This intersection identifies the F2L pair at the front right.
Minimum sticker recognition concept (Straughan recognition): This allows for recognizing CLL using just four stickers total, ZBLL using just six, and a large sticker reduction for many other steps.
Nautilus method concept: Nautilus started as a 3x3 method, but has since proven to be an interesting concept shape of its own - solve all layers below the top layer, leaving out all front layer pieces to the right of the left layer. This takes care of most blind spots on any puzzle and creates an interesting move set that includes the use of the upper layer and all layers to the right of the left layer. Nautilus has been adapted to several other puzzles.
Solved the pseudo corner recognition problem: This is one of my first developments. In 2004 Gilles Roux published the idea of starting with the LR color orientation, then checking the U sticker pattern (NMCLL 1). But this turned out to be too slow for speedsolving because of the second step. I solved this problem in 2010 with the development of NMCLL 2, making pseudo corner recognition possible in speedsolving. In 2021, the NMCLL 2 recognition method was simplified to require checking just two stickers in the second step. This created the first corner recognition method that uses five stickers (ATCRM) - one fewer sticker than the typical U sticker based recognition.
ACMLL, AOLL, ACLL and others: In 2022, I developed the concept of partially solving groups of 3x3 pieces then correcting them during an algorithm of a later step. This is like EG, but applied to 3x3. It is also similar to the undeveloped PEG idea by Kenneth Gustavsson. In the case of ACMLL, the two blocks of the Roux method can be solved imperfectly then the CMLL algorithm will include the correction. This reduces the overall solve move count, improves ergonomics during the second block to more often consist of all R and U turns, and allows for deeper inspection to fully plan the two blocks. I have also created AOLL for CFOP to allow for always solving the final pair using R and U. This can also be applied to Petrus to eliminate the EO step, still allowing for an all R U right block, but requiring a two step last layer or large number of 1LLL algorithms.
Pattern Corner Permutation: In methods such as CEOR, 2GR, or CP Nautilus, the U and R corners are placed into a <U, R> solvable orbit during the first steps. The recognition methods all involve the use of tracing - looking at each corner and following a path to determine the permutation state and any necessary swaps. PCP is the first ever early corner permutation recognition method that doesn't need tracing. Instead it is similar to corner recognition in CLL or CMLL where sticker patterns are checked.
The addition of unions to the multi-state solving concept: In the early 2000s Lars Petrus developed a concept of using a combination of two short algorithms from a single small algorithm pool to solve ZBLL without having to learn all 493 cases (Petrus 270). In 2012, Thom Barlow applied this concept to 1LLL (Duplex). In 2020 I expanded upon this with the concept of unions and the ability to solve to any desired end state. Any number of algorithms, not just two, can be joined in a union to solve a current state to any other desired state. This also solved the problem of how to solve or affect any random piece or set of pieces from a larger group rather than having to always solve a specific piece or set of pieces. An example of this, and where it was first developed, is CLL+1. Unions can be used to solve any U layer edge along with the corners and greatly reduce the case count, rather than having to learn the algorithms for all corner cases multiplied by the eight possible positions and orientations of the specific edge that is used every time.
Below are my various developments, separated into what may be speedsolving usable and what is for now just for fun.
Speed oriented developments:
Nautilus
APB
Straughan recognition for CLL, ZBLL, and others
Nautilus for FTO
LEG-1
EOLR for Roux
DFDB recognition for Roux
ACMLL
L7E iterative EO
L5C and SL5C for the 42 method
Interesting and fun developments (that may also have speedsolving potential):
Transformation (CCLL)
Algorithm unions and the Union Creator program.
NMLL
NMCLL and NMEG
PCP
CLL+1
AOLL and ACLL
When I joined the puzzle community in 2005, I experimented with the various methods available at the time. This included Waterman, Petrus, Roux, CFOP, Heise, and Human Thistlethwaite. In early 2006 I decided to use Roux as my first main speedsolving method. I started method development in 2006 with the creation of the MI1 method and Nautilus. A few years later I developed an easy to use recognition method for NMCLL then many developments branched from that. NMCLL led to NMLL, which led to the concept of Transformation, then A2, then ACMLL, and a few things in between. A major focus has been on pseudo, with the creation of various NMCLL recognition systems, development of 2x2 NMCLL, NMEG, A2, NMZBLL recognition, CCMLL recognition, ACxLL, Transformation, SL5C, and others.
I am also the creator of cubinghistory.com. It is a website that provides the origin and development history of methods, steps, techniques, notation, hardware, and everything else. The website contains an in-depth collection of information from books from the 1970s and 1980s and internet posts. Some of the information completely changes what we thought was the true origin of certain subjects.