Added functional times2logical