RTFM, Bernardo, Bernardo Carvalho