Added specs for F