(C => substitutable for others)