rtfl^ - a^fc a 2^